package edu.asu.sapa.ground;

import java.util.ArrayList;
import java.util.Arrays;

import edu.asu.sapa.heuristic.CostFunction;
import edu.asu.sapa.lifted.Symbol;
import edu.asu.sapa.utils.Utility;

public class Proposition extends CostFunction<ArrayList<Integer>> {

	public boolean isConstant = true;
	public boolean value = false;
	protected String stringName;
	
	public Proposition(ArrayList<Integer> name) {
		super(name);
		stringName = null;
	}
	
	public Proposition(ArrayList<Integer> name, boolean value) {
		super(name);
		this.value = value;
		stringName = null;
	}

	public String toString() {
		return name.toString() + " -> " + id + " ; " + (isConstant ? "constant" : "dynamic") + " , " + value;
	}

	// for PG
	
	public boolean isHard;
	
	public final void deactivate() {
		size = 0;
		selectedTime = Float.NaN;
		//reachable=false;
		isHard = false;
	}

	public final String getName() {
		if (stringName == null) {
			
		}
		
		return null;
	}
	
}
